並行プロセス記述言語 occam(3) - 共立出版コンピュータサイエンス誌『bit』